Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
161	Drift Reconstruction from First Passage Time Data using the Levenberg-Marquardt Method Pak-Wing Fok, Dept. of Mathematical Sciences, University of Delaware, DESeptember 17, 2012 Abstract Add to Reading List Source URL: udel.edu Language: English - Date: 2012-09-17 14:09:50 Spectral theory Linear algebra Operator theory Ordinary differential equations Matrix theory SturmLiouville theory Eigenvalues and eigenvectors Partial differential equation Spectral theory of ordinary differential equations Lambda calculus
162	Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2015-08-09 21:04:41 Object-oriented programming Computability theory Theoretical computer science Programming idioms Type theory Functor Subtyping Combinatorial species Lambda calculus Monad Recursion Is-a
163	A Case for Lambda Calculus Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Actor model Concurrent computing Dwight D. Eisenhower Ike
164	2016_2_13_LARG_Members.xlsx Add to Reading List Source URL: www.k4lrg.org Language: English - Date: 2016-08-02 12:29:13 Lambda calculus Algebraic number theory
165	Javascript to Scheme Compilation Florian Loitsch Inria Sophia Antipolis 2004 route des Lucioles - BP 93 FSophia Antipolis, Cedex France Add to Reading List Source URL: www.deinprogramm.de Language: English - Date: 2005-10-09 10:54:18 Subroutines Functional languages Functional programming Lambda calculus Data types JavaScript Anonymous function Closure Apply Scope Eval Bigloo
166	Type theory and proof assistants answers 1. λx : a → b → c. λy : b. λz : a. xzy (This term corresponds to the proof Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Proof theory Lambda calculus Logic in computer science Deductive reasoning Natural deduction Combinatory logic
167	02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013 Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-10-21 08:25:00 Lambda calculus Combinatory logic Lambda calculus definition Reduction strategy Free variables and bound variables Lambda Fixed-point combinator Anonymous function Term Variable Beta normal form
168	Specification of Data Types and Conversions version 1.0 NTT Secure Platform Laboratories, NTT Corporation March 2, 2015 Add to Reading List Source URL: info.isl.ntt.co.jp Language: English - Date: 2015-03-02 00:44:50 Group theory Analytic number theory Elliptic curve Function Lambda calculus Irreducible polynomial
169	245 Documenta Math. On a Theorem of Lehrer and Zhang Jun Hu, Zhankui Xiao Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-07-07 15:43:29 Spectral theory Linear algebra Differential forms Ring theory Jordan normal form Matrix theory Lambda calculus
170	23 Documenta Math. Smooth Representations of GLm (D) V: Endo-Classes Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-02-04 16:55:14 Lie algebras Representation theory of Lie groups Weight Lambda calculus

UPDATE